Analysis and Manipulation of Boolean Functionsin
نویسندگان
چکیده
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
منابع مشابه
An Improved Algorithm for Network Reliability Evaluation
Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...
متن کاملAwareness of the Misconduct in Sports Science Research
Background. Misconduct in sport science research is a detrimental practice, as it affects data reliability and decreases the validity of all research in the long run. Objectives. The objective of this narrative review is to identify the main problems of misconduct in sport science research and point out effective prevention methods. Methods. A literature search was undertaken in "Web of Scien...
متن کاملSensitivity Analysis of Coulomb and HK Friction Models in 2D AFM-Based Nano-Manipulation: Sobol Method
Nanotechnology involves the ability to see and control individual atoms and molecules which are about 100 nanometer or smaller. One of the major tools used in this field is atomic force microscopy which uses a wealth of techniques to measure the topography and investigates the surface forces in nanoscale. Friction force is the representation of the surface interaction between two surfaces an...
متن کاملOmega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملPassive Non-Prehensile Manipulation of a Specific Object on Predictable Helix Path Based on Mechanical Intelligence
Object manipulation techniques in robotics can be categorized in two major groups including manipulation with and without grasp. The aim of this paper is to develop an object manipulation method where in addition to being grasp-less, the manipulation task is done in a passive approach. In this method, linear and angular positions of the object are changed and its manipulation path is controlled...
متن کامل